Selected contributions from the Open Source Software Certification (OpenCert) workshops

We present to you this special issue dedicated to the 2nd, 3rd and 4th editions of the International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert) held in 2008 (Milan, Italy), 2009 (York, UK) and 2010 (Pisa, Italy) respectively. This is a compilation of a selected set of extended papers presented at these workshops. OpenCert provides for a unique venue advancing the state of the art in the analysis and assurance of open source software with an ultimate aim of achieving certification and standards. The dramatic growth in open source software over recent years has provided for a fertile ground for fundamental research and demonstrative case studies. Over the years, OpenCert has enabled a thriving community, small but focused, examining issues ranging from certification to security and safety analysis for applications areas as diverse as railways, aviation, knowledge management, sustainable development, and the open source developers community

Redes neurais e análise estatística para classificação de mapas topográficos da córnea baseados em coeficientes de Zernike: uma comparação quantitativa

PURPOSE: The main goal of this study was to develop and compare two different techniques for classification of specific types of corneal shapes when Zernike coefficients are used as inputs. A feed-forward artificial Neural Network (NN) and discriminant analysis (DA) techniques were used. METHODS: The inputs both for the NN and DA were the first 15 standard Zernike coefficients for 80 previously classified corneal elevation data files from an Eyesys System 2000 Videokeratograph (VK), installed at the Departamento de Oftalmologia of the Escola Paulista de Medicina, São Paulo. The NN had 5 output neurons which were associated with 5 typical corneal shapes: keratoconus, with-the-rule astigmatism, against-the-rule astigmatism, "regular" or "normal" shape and post-PRK. RESULTS: The NN and DA responses were statistically analyzed in terms of precision ([true positive+true negative]/total number of cases). Mean overall results for all cases for the NN and DA techniques were, respectively, 94% and 84.8%. CONCLUSION: Although we used a relatively small database, results obtained in the present study indicate that Zernike polynomials as descriptors of corneal shape may be a reliable parameter as input data for diagnostic automation of VK maps, using either NN or DA.OBJETIVOS: Nosso principal objetivo neste trabalho foi de desenvolver e comparar duas técnicas diferentes para classificação de superfícies corneanas. Uma rede neural artificial alimentada adiante e análise descriminante foram as técnicas de classificação comparadas neste trabalho. MÉTODOS: As entradas para ambos os métodos de classificação foram os primeiros 15 coeficientes de Zernike para 80 córneas mensuradas anteriormente em um topógrafo Eyesys instalado no Departamento de Oftalmologia da Escola Paulista de Medicina - UNIFESP. A rede neural tem 5 saídas que foram associados aos cinco casos típicos contidos na base de dados: ceratocone, astigmatismo a favor da regra, astigmatismo contra a regra, formato "regular" ou "normal" e pós-PRK. RESULTADOS: Os resultados de ambos os métodos foram estatisticamente analisados em termos de precisão. Os resultados gerais para ambos os métodos de redes neurais e análise discriminante foram 94% e 84,8%, respectivamente. CONCLUSÃO: Embora tenha-se utilizado uma base de dados relativamente pequena, os resultados obtidos aqui indicam que os polinômios de Zernike podem ser um parâmetro de entrada para classificação de diferentes formatos de córnea, tanto para uso com redes neurais ou análise discriminante

A preliminary analysis of learning awareness in FLOSS projects

Abstract. It can be argued that participating in free/libre open source software (FLOSS) projects can have a positive effect in the contributor's learning process. The need to interact with other contributors, to read other people's code, write documentation, or use different tools, can motivate and implicitly foster learning. In order to validate this statement we design an appropriate questionnaire asking FLOSS contributors about their experience in FLOSS projects. In this paper, we illustrate how this questionnaire was designed and what we expect to learn from the answers. We conclude the paper with a preview of the results from three cases studies

Un cálculo de patrones arquitectónicos

En esta línea de investigación proponemos desarrollar un framework semántico y un cálculo que permita describir, transformar y razonar sobre patrones arquitectónicos de software. El trabajo apunta a responder a las necesidades que emergen a partir del éxito de la orientación a servicios, en donde se necesita tratar con arquitecturas dinámicamente reconfigurables y auto-adaptables. Se basa en un enfoque desarrollado en la Universidad de Minho para el cálculo de componentes y se aplican avances del áreas de modelos y lenguajes de coordinación.Eje: Ingeniería de Software y Base de DatosRed de Universidades con Carreras en Informática (RedUNCI

Un cálculo de patrones arquitectónicos

En esta línea de investigación proponemos desarrollar un framework semántico y un cálculo que permita describir, transformar y razonar sobre patrones arquitectónicos de software. El trabajo apunta a responder a las necesidades que emergen a partir del éxito de la orientación a servicios, en donde se necesita tratar con arquitecturas dinámicamente reconfigurables y auto-adaptables. Se basa en un enfoque desarrollado en la Universidad de Minho para el cálculo de componentes y se aplican avances del áreas de modelos y lenguajes de coordinación.Eje: Ingeniería de Software y Base de DatosRed de Universidades con Carreras en Informática (RedUNCI

Absorção de nutrientes e alterações químicas em Latossolos cultivados com plantas de cobertura em rotação com soja e milho.

Os efeitos promovidos pelas plantas de cobertura nos atributos químicos do solo são bastante variáveis, dependendo de fatores como espécie utilizada, manejo dado à biomassa, época de plantio e corte das plantas, tempo de permanência dos resíduos no solo, condições locais e interação entre esses fatores. Este trabalho foi realizado com o objetivo de avaliar a absorção de nutrientes por cinco plantas de cobertura, que foram utilizadas para produção de grãos, sementes e forragem, em diferentes quantidades de sementes por hectare e pela vegetação espontânea, bem como para o efeito sobre as propriedades químicas de dois Latossolos, cultivadas em rotação com as culturas da soja e do milho. Os experimentos foram instalados em Votuporanga, SP, e Selvíria, MS, em março de 2008, após o preparo convencional do solo. O delineamento experimental utilizado foi o de blocos casualizados com quatro repetições, utilizando as seguintes plantas de cobertura em diferentes quantidades de sementes por hectare que constituíram os tratamentos: sorgo granífero: 6, 7 e 8 kg ha-1; milheto: 10, 15 e 20 kg ha-1; capim-sudão: 12, 15 e 18 kg ha-1; híbrido de sorgo com capim-sudão: 8, 9 e 10 kg ha-1; e Urochloa ruziziensis: 8, 12 e 16 kg ha-1. Também se utilizou um tratamento-controle com vegetação espontânea. Após o manejo das coberturas, no primeiro ano de estudo, foi semeada a soja e, no segundo ano, semeou-se o milho, ambos em sistema de semeadura direta. Avaliaram-se a produtividade de matéria seca das diferentes coberturas, a absorção de nutrientes pelas coberturas e as alterações químicas no solo. Constatou-se que em solos argilosos, com elevado teor de alumínio no solo, como em Selvíria, o capim-sudão, com 18 kg ha-1 de sementes, e o sorgo granífero, com 6 kg ha-1, em associação a calagem, contribuem para redução do teor de alumínio e da acidez potencial e para elevação da saturação por bases. As diferentes quantidades de sementes de cada planta de cobertura não influenciaram a produtividade de matéria seca da mesma planta de cobertura, mas interferiram na absorção de nitrogênio do híbrido de sorgo com capim-sudão, com 10 kg ha-1 de sementes, apresentando menor absorção que com 8 kg ha-1 de sementes, e também no teor de matéria orgânica no solo, com o capim-sudão, com 15 kg ha-1 de sementes, propiciando maior teor que o de 18 kg ha-1 de sementes